S5 is a Paraconsistent Logic and so is Classical First-Order Logic
ثبت نشده
چکیده
منابع مشابه
Modality and Paraconsistency
Paraconsistent logic was born in the vicinity of modal logic. Moreover, as every other non-classical logicians, paraconsistentists have very often flirted with modalities. The first known system of paraconsistent logic was in fact defined as a fragment of S5, in the late 40s. But a fragment of a modal system is not necessarily a modal system. I will show here, indeed, that Jaśkowski’s D2 is not...
متن کاملA paraconsistent view on B and S5
Paraconsistent logics are logics that in contrast to classical and intuitionistic logic, do not trivialize inconsistent theories. In this paper we show that the famous modal logics B and S5, can be viewed as paraconsistent logics with several particularly useful properties.
متن کاملParaconsistent logic from a modal viewpoint
In this paper we study paraconsistent negation as a modal operator, considering the fact that the classical negation of necessity has a paraconsistent behavior. We examine this operator on the one hand in the modal logic S5 and on the other hand in some new four-valued modal logics. 2004 Published by Elsevier B.V.
متن کاملOne True Logic?
Logic is the study of validity and validity is a property of arguments. For my purposes here it will be sufficient to think of arguments as pairs of sets and conclusions: the first members of the pair is the set of the argument’s premises and the second member is its conclusion. An argument is valid just in case it is truth-preserving, that is, if and only if, whenever all the members of the pr...
متن کاملJean - Yves Béziau THE PARACONSISTENT LOGIC Z A possible solution to Jaśkowski
We present a paraconsistent logic, called Z, based on an intuitive possible worlds semantics, in which the replacement theorem holds. We show how to axiomatize this logic and prove the completeness theorem. 1. Jaśkowski’s problem and paraconsistent logic It seems that nowadays the main open problem in the field of paraconsistent logic is still : Does paraconsistent logic really exist? This mean...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000